Dynamic Negation, the One and Only
نویسندگان
چکیده
We consider the variety of Dynamic Relation Algebras V DRA We show that the monoid of an algebra in this variety determines dynamic negation uniquely
منابع مشابه
PDL with Negation of Atomic Programs
Propositional dynamic logic (PDL) is one of the most successful variants of modal logic. To make it even more useful for applications, many extensions of PDL have been considered in the literature. A very natural and useful such extension is with negation of programs. Unfortunately, as long-known, reasoning with the resulting logic is undecidable. In this paper, we consider the extension of PDL...
متن کاملExamining the purport of [Islam prevails over all religions] on the negation of pluralism in the age of advent based on verse 9 of chapter As-Saff
Many Western thinkers subscribe to the theory of Pluralism. This idea is based on the assumption that there are different ways of salvation. The religion of Islam has a monopoly on the path to the truth. Some verses of the Holy Quran with emphasis on the verses "Islam prevails over all religions" can be used as an intra-religious response to the notion of pluralism. This research has tried to e...
متن کاملLambek Calculi with 0 and Test–failure in Dpl
In Sequoiah-Grayson (2009a), the author gave a basic dynamic semantics the Lambek Calculi, to which a dynamic negation was added. This dynamic negation was interpreted as procedural prohibition, or process exclusion. The resulting framework suggested connections with the analysis of negation as test–failure in the Dynamic Predicate Logic (DPL) due originally to Groenendijk and Stokhof (1991), a...
متن کاملA Generative Analysis of the Acquisition of Negation by Iranian EFL Learners: A Typological Study
The present study was an attempt to investigate the acquisition of negationproperties by Persian monolingual and Kurdish-Persian bilingual learners of Englishacross different levels of language proficiency and within a generative framework.Generative models are generally concerned with issues such as universal grammar(UG), language transfer, and morphological variability in nonprimary languaged...
متن کاملExtraction of Drug-Drug Interaction from Literature through Detecting Linguistic-based Negation and Clause Dependency
Extracting biomedical relations such as drug-drug interaction (DDI) from text is an important task in biomedical NLP. Due to the large number of complex sentences in biomedical literature, researchers have employed some sentence simplification techniques to improve the performance of the relation extraction methods. However, due to difficulty of the task, there is no noteworthy improvement in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Logic, Language and Information
دوره 8 شماره
صفحات -
تاریخ انتشار 1999